Curry–Howard correspondence - PDFSEARCH.IO - Document Search Engine

Curry–Howard correspondence
Results: 226

#	Item
171	Genericity and Nonbounding in the Enumeration degrees Mariya Ivanova Soskova Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2008-02-28 12:55:18 Set theory Logic Ordinal numbers Curry–Howard correspondence Mathematics Constructible universe Enumeration
172	A generic set that does not bound a minimal pair Mariya Ivanova Soskova Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2007-01-18 08:22:46 Mathematics Functional analysis Ordinal numbers Set theory Curry–Howard correspondence Theorems and definitions in linear algebra Constructible universe Symbol Mathematical logic
173	Extracting a DPLL Algorithm Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 13:49:14 Logic in computer science Formal methods Automated theorem proving Proof theory Deduction Curry–Howard correspondence Symbol Entailment Boolean satisfiability problem Theoretical computer science Logic Mathematics
174	Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras Ulrich Berger1 , Kenji Miyamoto 2 , Helmut Schwichtenberg2 , and Monika Seisenberger1 1 2 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2011-05-22 19:06:42 Mathematical constructivism Type theory Proof theory Logic in computer science Metalogic Realizability Agda Curry–Howard correspondence MINLOG Logic Mathematical logic Mathematics
175	Linear Algebra and its Applications[removed]–165 www.elsevier.com/locate/laa Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2011-08-03 13:49:47 Curry–Howard correspondence Root system Constructible universe Lie algebras Mathematics
176	NULLSPACES OF MATRICES AND THEIR COMPOUNDS Michael Tsatsomeros Department of Mathematics and Statistics University of Victoria Victoria, B.C. V8W 3P4 Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2001-08-08 12:01:17 Group theory Algebras Exterior algebra Vector space Eigenvalues and eigenvectors Constructible universe Theorems and definitions in linear algebra Curry–Howard correspondence Mathematics Linear algebra Abstract algebra
177	A constructive semantics for ALC Loris Bozzato1 , Mauro Ferrari1 , Camillo Fiorentini2 , Guido Fiorino3 1 DICOM, Univ. degli Studi dell’Insubria, Via Mazzini 5, 21100, Varese, Italy DSI, Univ. degli Studi di Milano, Vi Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Proof theory Deduction Propositional calculus Natural deduction Curry–Howard correspondence Entailment Valuation Lambda calculus Orbifold Logic Mathematics Abstract algebra
178	GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:57 Mathematics Curry–Howard correspondence Sequent calculus Cut-elimination theorem Proof net Linear logic Denotational semantics Model theory Net Proof theory Logic Mathematical logic
179	Calculi for the G¨odel Logic M. Ultlog July 11, 2001 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 08:10:51 Mathematics Deduction Natural deduction Valuation Sequent calculus Symbol Curry–Howard correspondence Entailment Logic Proof theory Mathematical logic

UPDATE